MaName $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$LocKnd + (:Id $\times$ Id)